flask: Fix a problem in xend code when starting a guest with XSM/Flask enabled.
authorKeir Fraser <keir.fraser@citrix.com>
Wed, 8 Oct 2008 09:03:47 +0000 (10:03 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Wed, 8 Oct 2008 09:03:47 +0000 (10:03 +0100)
commit8c755b0a9883d73533a033750c60b86e1e96b66a
tree81663e859a6a37afb5a17dc055efdf46c9ba7231
parent913481379c3086ab99b5eea089bd12c1095198bf
flask: Fix a problem in xend code when starting a guest with XSM/Flask enabled.

Signed-off-by: Stefan Berger <stefanb@us.ibm.com>
tools/python/xen/util/xsm/flask/flask.py